Проблема разрешения (нем. Entscheidungsproblem) — задача из области оснований математики, сформулированная Давидом Гильбертом в 1928 году: найти алгоритм, который бы принимал в качестве входных данных описание любой проблемы разрешимости (формального языка и математического утверждения « (Википедия)
РАЗРЕШЕ́НИЕ, -я, ср. 1. Действие по глаг. разрешить—разрешать (в 1 и 4 знач.); действие и состояние по глаг. разрешиться—разрешаться (в 1 знач.). Разрешение противоречий. (Малый академический словарь, МАС)
ПРОБЛЕ́МА, -ы, ж. 1. Сложный теоретический или практический вопрос, требующий решения, исследования. Проблема происхождения Земли. Разрешить проблему. (Малый академический словарь, МАС)
Развёрнутое толкование значения слов и словосочетаний, примеры употребления в различных значениях, фразеологизмы и устойчивые сочетания.
Синонимы и сходные по смыслу выражения, прямые и обратные ассоциации, информация о сочетаемости.
Примеры употребления в контексте из современных источников и из русской классической литературы.
Информация о правописании, таблицы склонения имён и спряжения глаголов, разбор по составу с графической схемой и указанием списка сходных по морфемному строению слов.